High-Precision Digital Phase-Locked Loop (DPLL) Design via Adaptive Gradient Descent & Bayesian Optimization
dev.toยท9hยท
Discuss: DEV
โšกCircuit Design
Claude Can (Sometimes) Prove It
galois.comยท1hยท
โš”๏ธLean Tactics
Portable computer with hologram- By JayJoeberg
hackster.ioยท11h
๐Ÿ“ŸTerminal Physics
Be Engineering Insights: Adventures in Graphics Drivers
haiku-os.orgยท12hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Home | Reverse Engineering the Microchip CLB
mcp-clb.markomo.meยท12h
โšกCircuit Archaeology
AI hardware reimagined for lower energy use
news.cornell.eduยท14hยท
Discuss: Hacker News
๐Ÿ”งHardware Verification
System Instruction Fixed Point
funcall.blogspot.comยท6hยท
โšกProof Automation
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.orgยท21h
๐ŸงฎAlgebraic Datatypes
Building my own ArdSCSIno
leadedsolder.comยท1d
๐ŸŽฎSwitch Archaeology
Greyscale-box test-driven development
blog.ploeh.dkยท1d
๐ŸงชProperty-Based Testing
FreeBSD Errata Notice FreeBSD-EN-25:17.bnxt
bsdsec.netยท8h
๐ŸกOpenBSD
2025 Hackaday Component Abuse Challenge: Let the Games Begin!
hackaday.comยท8h
โš™๏ธDIY Electronics
BEHAVIOR-1K is set to become for robotics what ImageNet was for computer vision
the-decoder.comยท10h
โšกIncremental Computation
Setting Up and Configuring LibreSDR B210/B220 AD9361 on Windows and Linux
gainsec.comยท6hยท
Discuss: Hacker News
๐Ÿ”ฌFloppy imaging
Trigger crossbar
serd.esยท2dยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
Very necessary update to a liquid cooled SilverStone RM61-312 Epyc 9654 on ASRockRack GENOAD8X-2T/BCM
reddit.comยท8hยท
Discuss: r/homelab
๐ŸงฒRISC-V Archaeology
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.chยท1dยท
๐Ÿ”RISC-V Forensics
Back from Open Source Summit Europe 2025: talks from Bootlin
bootlin.comยท1d
โš™๏ธOperating System Design
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Concolic Testing